Implementing logic spreadsheets in LESS
نویسندگان
چکیده
منابع مشابه
Implementing logic spreadsheets in LESS
Spreadsheets are a widespread tool for a variety of tasks, particularly in business settings. Spreadsheet users employ a form of programming that, while popular, is highly errorprone and has limited expressiveness. An important approach to augment spreadsheets is to provide logic knowledge representation and reasoning (KR&R) functionality. In this paper we present Logic Embedded in SpreadSheets...
متن کاملRAGSDALE A New Approach to Implementing Project Networks in Spreadsheets A New Approach to Implementing Project Networks in Spreadsheets
ISeveral approaches have been proposed for implementing project networks in spreadsheets. The approaches suggested to date are overly tedious to implement for problems of realistic size and/or require error-prone manual intervention if precedence relations among activities change or project activities are added or deleted. This paper introduces a new and more efficient approach to implementing ...
متن کاملUsing Spreadsheets for Solving Logic Puzzles
The consequence relation and perfect usage of derivation is a necessary knowledge for layers, economists, engineers and for hundreds of other different professionals. Students in the low and mid level education system are able to solve simple logical puzzles without any special training, but some of the puzzles in Smullyan’s books present a challenge even for university students. Some of the lo...
متن کاملDeductive Spreadsheets Using Tabled Logic Programming
Rule-based specifications in Datalog are used in a number of application areas, such as configuration management, access control and trust management, decision making, etc. However, rules sets are typically hard to maintain; the rules often interact in subtle ways, making them difficult to understand and reason about. This has impeded the wide-spread adoption of rule-based computing. This paper...
متن کاملImplementing the Zc Logic in
Henson and Reeves have recently proposed a new kernel logic, Z C HR98b, HR98a] for the Z Spi89] speciication language. They have proved that their logic is sound and have shown how a complete schema calculus can be derived within the logic. An important next step is to investigate the practicality of the logic, to determine whether it could be used to reason about typical Z speciications in a p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Knowledge Engineering Review
سال: 2007
ISSN: 0269-8889,1469-8005
DOI: 10.1017/s0269888907001178